Programming in the Large: The Algebraic-Functional Language Opal 2alpha

نویسندگان

  • Klaus Didrich
  • Wolfgang Grieskamp
  • Christian Maeder
  • Peter Pepper
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL

We present an approach to the design of a literate programming tool for the algebraic programming language Opal, which serves as a back-end in the formal program derivation process. In designing our documentation system we not only take technical aspects into account , but also have the acceptance of the documentation system by the software developer in mind.

متن کامل

How to Cope with the Spectrum of SPECTRUM

The speciication language Spectrum BFG + 93] melts a wide range of concepts into a single language frame: three-valued rst-order logic, polymorphism, type classes, higher-order functions, innnite objects. The desire of identifying and relating sub-languages satisfying certain constraints given by syntactical and pragmatic considerations appears. In this paper we consider the constructive orient...

متن کامل

Reflections in Opal - Meta Information in a Functional Programming Language

We report on an extension of the Opal system that allows the use of reeections. Using reeections, a programmer can query information like the type of an object at runtime. The type can in turn be queried for properties like the constructor and deconstructor functions, and the resulting reeected functions can be evaluated. These facilities can be used for generic meta-programming. We describe th...

متن کامل

Algebraic Matching of Vulnerabilities in a Low-Level Code

This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997